501. An introduction to discrete mathematics, formal system specification, and Z
Author: Ince, Darrel
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Mathematics ، Computer science,، System design
Classification :
QA
76
.
9
.
M35153
1992


502. An introduction to discrete mathematics formal system specification and Z
Author: D. C. Ince
Library: Central library and Documentation Center (Zanjan)
Subject: ، Computer science - Mathematics,، System design
Classification :
QA
76
.
9
.
M35153
1992


503. An introduction to discrete mathematics, formal system specification, and Z
Author: Ince, D.)Darrel(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics,، System design
Classification :
QA
76
.
9
.
M35
I53
1992


504. An introduction to discrete mathematics formal system specification, and z
Author: / D.C.Ince
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science-Mathematics,System design
Classification :
QA76
.
9
.
M35
,
153
1992


505. An introduction to discrete mathematics, specification, and Z
Author: Ince, D. )Darrel(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Mathematics,، System design
Classification :
QA
76
.
9
.
M35
.
I53
1992


506. An introduction to functional programming through Lambda calculus /
Author: Greg Michaelson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming (Computer science),Lambda calculus.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Functional programming (Computer science),Lambda calculus.,MATHEMATICS-- General.
Classification :
QA76
.
6
.
M4854
2011eb


507. An introduction to machine learning /
Author: Miroslav Kubat.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Big data.,Computational intelligence.,Data mining.,Machine learning.,Artificial intelligence.,Artificial intelligence.,Big data.,Business & Economics-- Industries-- Computer Industry.,Business mathematics & systems.,Computational intelligence.,Computer science.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Data mining.
Classification :
QA76
.
9
.
D343
K83
2017


508. An introduction to mathematical logic and type theory : to truth through proof
Author: Andrews, Peter Bruce
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638
1986


509. An introduction to mathematical logic and type theory: to truth through proof
Author: Andrews, Peter Bruce
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638


510. An introduction to modern mathematical computing
Author: Jonathan M. Borwein, Matthew P. Skerritt
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematica (Computer file),Computer science-- Mathematics,Mathematics-- Data processing
Classification :
QA76
.
95
.
B67
2012eb


511. An introduction to neural information processing /
Author: Peiji Liang, Si Wu, Fanji Gu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Human information processing.,Neural networks (Neurobiology)
Classification :
QP363
.
3


512. An introduction to numerical analysis for electrical and computer engineers
Author: / Christopher J. Zarowski
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Electrical engineering, Mathematics,Computer science, Mathematics,Numerical analysis
Classification :
TK153
.
Z37
2004


513. An introduction to numerical analysis for electrical and computer engineers
Author: / Christopher J. Zarowski
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Electrical engineering--Mathematics.,Computer science--Mathematics.,Numerical analysis.
Classification :
TK
153
.
Z37
2004


514. An introduction to numerical analysis for electrical and computer engineers
Author: / Christopher J. Zarowski
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electrical engineering--Mathematics,Computer science--Mathematics,Numerical analysis.
Classification :
TK
,
153
,.
Z37
,
2004


515. An introduction to numerical analysis for electrical and computer engineers
Author: / Christopher J. Zarowski
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Electrical engineering- Mathematics,Computer science- Mathematics,Numerical analysis
Classification :
E-BOOK

516. An introduction to numerical analysis for electrical and computer engineers
Author: Christopher J. Zarowski
Library: Central Library of Ahvaz Faculty of Petroleum (Khuzestan)
Subject: Electrical engineering- Mathematics,Computer science- Mathematics,Numerical analysis
Classification :
TK
,
153
,.
Z37
,
2004


517. An introduction to numerical analysis for electrical and computer engineers
Author: / Christopher J. Zarowski
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Electrical engineering- Mathematics,Computer science- Mathematics,Numerical analysis
Classification :
TK153
.
Z37
2004


518. An introduction to numerical analysis for electrical and computer engineers
Author: / Christopher J. Zarowski
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Electrical engineering -- Mathematics,Computer science -- Mathematics,Numerical analysis
Classification :
TK153
.
Z37
2004


519. An introduction to numerical analysis for electrical and computer engineers
Author: / Christopher J. Zarowski
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Electric engineering- Mathematics,Computer science- Mathematics,Numerical analysis
Classification :
TK153
.
Z37
2004


520. An introduction to numerical analysis for electrical and computer engineers
Author: / Christopher J. Zarowski
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Electric engineering--Mathematics,Computer science--Mathematics,Numerical analysis
Classification :
621
.
301518
Z38i

